$\forall$$T$:Type, $l_{1}$, $l_{2}$:($T$ List). ($l_{1}$ = $l_{2}$) $\Rightarrow$ fseg($T$;$l_{1}$;$l_{2}$)